Efficient Simulation of Forward-Branching Systems with Constructor Systems
نویسندگان
چکیده
منابع مشابه
Efficient Simulation of Forward-Branching Systems with Constructor Systems
Strongly sequential constructor systems admit a very eecient algorithm to compute normal forms. Thatte found a transformation that allows us to simulate any orthogonal system with a constructor system. Unfortunately, this transformation does not generally preserve strong sequentiality. On the other hand, the class of forward-branching systems contains the class of strongly sequential constructo...
متن کاملSimulating Forward-Branching Systems with Constructor Systems
Strongly sequential constructor systems admit a very eecient algorithm to compute normal forms. Thatte found a transformation that allows us to simulate any orthogonal system with a constructor system. Unfortunately, this transformation does not generally preserve strong se-quentiality. On the other hand, the class of forward-branching systems contains the class of strongly sequential construct...
متن کاملTermination of Constructor Systems
We present a method to prove termination of constructor systems automatically. Our approach takes advantage of the special form of these rewrite systems because for constructor systems instead of leftand right-hand sides of rules it is su cient to compare so-called dependency pairs [Art96]. Unfortunately, standard techniques for the generation of well-founded orderings cannot be directly used f...
متن کاملAn Efficient Algorithm for Recognizing the Forward-Branching Class of Term-Rewriting Systems
We present an algorithm for recognizing the forward-branching (FE) [Str89] class of term-rewriting systems. The algorithm is an improvement over a previous algorithm reported in [DS91] and [DS90] with a complexity proof in [Dur94]. The time comple)(ity of the algorithm ln [Dur94) is OC~:::, ln; l) but was reported to be O(('E; ln; l)2), and the space compl€Dty is O(('E; ln,l}2) . We improve on ...
متن کاملobservational dynamical systems
چکیده در این پایاننامه ابتدا فضاهای متریک فازی را به صورت مشاهدهگرایانه بررسی میکنیم. فضاهای متریک فازی و توپولوژی تولید شده توسط این متریک معرفی شدهاند. سپس بر اساس فضاهایی که در فصل اول معرفی شدهاند آشوب توپولوژیکی، مینیمالیتی و مجموعههای متقاطع در شیوههای مختلف بررسی شده- اند. در فصل سوم مفهوم مجموعههای جاذب فازی به عنوان یک مفهوم پایهای در سیستمهای نیم-دینامیکی نسبی، تعریف شده است. ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1996
ISSN: 0747-7171
DOI: 10.1006/jsco.1996.0058